Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 138 | 138 | 71 | 93 | 163 | 87 | 0 | 0 | 85 |
| N.S. |
1 | 1.00 | 0.51 | 0.67 | 1.18 | 0.63 | 0.00 | 0.00 | 0.62 |
| time (sec) |
N/A | 0.071 | 0.068 | 0.584 | 0.304 | 0.258 | 0.000 | 0.000 | 0.569 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 169 | 169 | 98 | 123 | 232 | 113 | 0 | 0 | 157 |
| N.S. |
1 | 1.00 | 0.58 | 0.73 | 1.37 | 0.67 | 0.00 | 0.00 | 0.93 |
| time (sec) |
N/A | 0.089 | 0.054 | 0.668 | 0.340 | 0.248 | 0.000 | 0.000 | 0.595 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 236 | 236 | 156 | 1722 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.66 | 7.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.372 | 0.218 | 19.061 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-1) | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 250 | 250 | 139 | 370 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.56 | 1.48 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.407 | 0.341 | 0.853 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 322 | 322 | 227 | 1970 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.70 | 6.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.013 | 0.834 | 57.977 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-1) | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 317 | 317 | 189 | 409 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.60 | 1.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.147 | 0.710 | 1.793 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 385 | 385 | 360 | 235 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.94 | 0.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.028 | 1.050 | 1.392 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 436 | 436 | 267 | 302 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.61 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.826 | 1.088 | 1.395 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 279 | 279 | 260 | 198 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.93 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.138 | 0.555 | 1.280 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 340 | 340 | 201 | 268 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.59 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.163 | 0.346 | 1.290 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 439 | 439 | 250 | 337 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.57 | 0.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.372 | 0.322 | 1.668 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 458 | 458 | 265 | 309 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.58 | 0.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.372 | 0.752 | 1.573 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 328 | 328 | 222 | 255 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.68 | 0.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.622 | 1.619 | 1.497 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 275 | 275 | 239 | 195 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.87 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.305 | 1.475 | 1.378 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 476 | 476 | 797 | 271 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.67 | 0.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.900 | 3.919 | 1.357 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 531 | 531 | 527 | 338 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.99 | 0.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.245 | 2.990 | 1.434 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 334 | 334 | 601 | 237 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.80 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.178 | 3.383 | 1.220 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 438 | 438 | 439 | 304 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.00 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.220 | 0.835 | 1.279 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 530 | 530 | 496 | 365 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.94 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.622 | 2.268 | 1.573 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 556 | 556 | 376 | 356 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.68 | 0.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.682 | 0.929 | 1.515 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 567 | 567 | 455 | 412 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.80 | 0.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.110 | 2.482 | 1.554 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 579 | 579 | 453 | 343 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.78 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.788 | 5.006 | 1.631 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 578 | 578 | 1320 | 309 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 2.28 | 0.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 7.386 | 6.722 | 10.110 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 638 | 638 | 759 | 376 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.19 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 5.889 | 4.151 | 6.043 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 387 | 387 | 1087 | 275 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 2.81 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.208 | 7.753 | 3.836 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 516 | 516 | 771 | 342 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.49 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.293 | 1.533 | 2.495 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 605 | 605 | 889 | 404 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.47 | 0.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.907 | 7.175 | 3.019 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 655 | 655 | 626 | 399 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.96 | 0.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.030 | 1.608 | 2.932 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 661 | 661 | 761 | 454 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.15 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.842 | 7.595 | 3.091 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 675 | 675 | 644 | 401 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.95 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.591 | 2.945 | 4.437 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 315 | 315 | 279 | 206 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.89 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.307 | 0.635 | 1.255 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 344 | 344 | 175 | 274 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.51 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.247 | 0.415 | 1.211 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 220 | 220 | 126 | 180 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.57 | 0.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.107 | 0.265 | 1.228 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 256 | 256 | 140 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.117 | 0.121 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 227 | 227 | 145 | 198 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.64 | 0.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.182 | 0.237 | 1.270 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 208 | 208 | 128 | 171 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.62 | 0.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.179 | 0.487 | 1.308 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 328 | 328 | 231 | 261 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.70 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.336 | 1.062 | 1.477 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 311 | 311 | 228 | 206 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.73 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.441 | 2.236 | 1.473 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 305 | 305 | 209 | 294 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.69 | 0.96 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.282 | 0.749 | 1.201 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 349 | 349 | 228 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.245 | 0.401 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | A | A | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 78 | 78 | 50 | 116 | 73 | 51 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.64 | 1.49 | 0.94 | 0.65 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.077 | 0.082 | 1.044 | 0.521 | 0.268 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | A | A | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 72 | 72 | 49 | 114 | 53 | 51 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.68 | 1.58 | 0.74 | 0.71 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.033 | 0.062 | 0.796 | 0.369 | 0.243 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 310 | 310 | 204 | 307 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.66 | 0.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.354 | 0.312 | 1.357 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 293 | 293 | 226 | 279 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.77 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.322 | 0.924 | 1.073 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 422 | 422 | 371 | 376 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.88 | 0.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.799 | 1.931 | 1.088 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 397 | 397 | 270 | 318 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.68 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.831 | 2.783 | 1.265 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 400 | 400 | 229 | 454 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.57 | 1.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.576 | 1.195 | 2.346 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 444 | 444 | 239 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.556 | 0.562 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | A | F | F(-2) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 172 | 172 | 81 | 276 | 0 | 92 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.47 | 1.60 | 0.00 | 0.53 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.195 | 0.163 | 1.871 | 0.000 | 0.264 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | A | A | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 139 | 139 | 80 | 272 | 117 | 88 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.58 | 1.96 | 0.84 | 0.63 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.191 | 0.108 | 1.610 | 0.275 | 0.254 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | A | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 137 | 137 | 71 | 276 | 0 | 82 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.52 | 2.01 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.101 | 0.089 | 0.861 | 0.000 | 0.259 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | A | A | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 157 | 157 | 86 | 272 | 111 | 93 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.55 | 1.73 | 0.71 | 0.59 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.075 | 0.074 | 1.424 | 0.287 | 0.260 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 389 | 389 | 246 | 461 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.63 | 1.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.560 | 0.477 | 1.306 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 381 | 381 | 296 | 579 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.78 | 1.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.482 | 1.422 | 1.221 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 22 | 22 | 24 | 22 | 841 | 37 | 53 | 3 | 24 |
| N.S. |
1 | 1.00 | 1.09 | 1.00 | 38.23 | 1.68 | 2.41 | 0.14 | 1.09 |
| time (sec) |
N/A | 0.040 | 1.432 | 1.122 | 9.323 | 0.262 | 14.903 | 110.247 | 0.485 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 20 | 20 | 22 | 20 | 386 | 22 | 31 | 3 | 22 |
| N.S. |
1 | 1.00 | 1.10 | 1.00 | 19.30 | 1.10 | 1.55 | 0.15 | 1.10 |
| time (sec) |
N/A | 0.026 | 0.718 | 0.918 | 4.671 | 0.255 | 6.427 | 107.228 | 0.466 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 22 | 22 | 24 | 22 | 24 | 24 | 20 | 3 | 24 |
| N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.09 | 0.91 | 0.14 | 1.09 |
| time (sec) |
N/A | 0.045 | 0.923 | 0.603 | 0.490 | 0.250 | 1.646 | 99.654 | 0.397 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 22 | 22 | 24 | 22 | 24 | 39 | 31 | 3 | 24 |
| N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.77 | 1.41 | 0.14 | 1.09 |
| time (sec) |
N/A | 0.045 | 0.620 | 2.138 | 0.506 | 0.270 | 3.089 | 116.296 | 0.441 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | F(-2) | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 24 | 26 | 22 | 24 | 24 | 0 | 0 | 24 |
| N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.00 | 0.00 | 1.00 |
| time (sec) |
N/A | 0.077 | 1.102 | 1.456 | 0.563 | 0.265 | 0.000 | 0.000 | 0.516 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | F(-2) | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 24 | 26 | 22 | 24 | 24 | 24 | 0 | 24 |
| N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 1.00 | 0.00 | 1.00 |
| time (sec) |
N/A | 0.068 | 0.159 | 1.115 | 0.411 | 0.254 | 29.927 | 0.000 | 0.433 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 24 | 26 | 22 | 24 | 24 | 24 | 3 | 24 |
| N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 1.00 | 0.12 | 1.00 |
| time (sec) |
N/A | 0.071 | 0.642 | 0.994 | 0.408 | 0.245 | 18.638 | 41.207 | 0.503 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 24 | 26 | 22 | 24 | 51 | 24 | 3 | 24 |
| N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 2.12 | 1.00 | 0.12 | 1.00 |
| time (sec) |
N/A | 0.082 | 0.799 | 1.225 | 0.431 | 0.248 | 20.645 | 3.960 | 0.613 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 219 | 219 | 135 | 272 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.62 | 1.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.814 | 0.547 | 1.844 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 211 | 211 | 171 | 900 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.81 | 4.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.684 | 0.492 | 46.493 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 160 | 160 | 101 | 237 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.63 | 1.48 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.097 | 0.083 | 2.583 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 172 | 172 | 144 | 860 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.84 | 5.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.137 | 0.061 | 12.824 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 276 | 276 | 264 | 460 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.96 | 1.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.390 | 0.147 | 19.538 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 169 | 169 | 188 | 1653 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.11 | 9.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.301 | 0.149 | 14.206 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 310 | 310 | 299 | 525 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.96 | 1.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.417 | 0.301 | 45.813 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 189 | 189 | 179 | 1807 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.95 | 9.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.428 | 0.421 | 38.365 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 313 | 313 | 165 | 331 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.53 | 1.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.650 | 1.030 | 3.498 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 321 | 321 | 233 | 1256 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.73 | 3.91 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.328 | 0.960 | 72.002 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 242 | 242 | 131 | 296 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.54 | 1.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.143 | 0.662 | 3.733 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 289 | 289 | 195 | 953 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.67 | 3.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.191 | 0.477 | 14.286 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 370 | 370 | 302 | 566 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.82 | 1.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.725 | 0.425 | 24.325 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 284 | 284 | 246 | 1793 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.87 | 6.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.567 | 0.325 | 76.248 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 399 | 399 | 302 | 622 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.76 | 1.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.591 | 0.407 | 32.788 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 311 | 311 | 294 | 1883 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.95 | 6.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.579 | 0.475 | 103.362 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 381 | 381 | 191 | 383 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.50 | 1.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.672 | 1.697 | 4.952 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 389 | 389 | 281 | 1576 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.72 | 4.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.172 | 1.604 | 121.678 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 308 | 308 | 157 | 346 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.51 | 1.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.192 | 1.102 | 5.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 388 | 388 | 243 | 1267 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.63 | 3.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.279 | 1.002 | 86.792 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 447 | 447 | 350 | 664 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.78 | 1.49 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.252 | 0.823 | 56.759 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 354 | 354 | 298 | 1894 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.84 | 5.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.949 | 0.605 | 163.404 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 503 | 503 | 464 | 763 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.92 | 1.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.881 | 0.573 | 77.002 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 336 | 336 | 318 | 1948 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.95 | 5.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.835 | 0.660 | 138.346 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 217 | 217 | 154 | 888 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.71 | 4.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.488 | 0.254 | 18.163 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 260 | 260 | 162 | 259 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.62 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.342 | 0.243 | 39.600 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 130 | 130 | 93 | 785 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.72 | 6.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.190 | 0.206 | 14.139 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 138 | 138 | 119 | 789 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.86 | 5.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.154 | 0.026 | 15.794 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 16 | 16 | 16 | 15 | 14 | 14 | 0 | 0 | 14 |
| N.S. |
1 | 1.00 | 1.00 | 0.94 | 0.88 | 0.88 | 0.00 | 0.00 | 0.88 |
| time (sec) |
N/A | 0.018 | 0.004 | 0.665 | 0.277 | 0.239 | 0.000 | 0.000 | 0.135 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 124 | 124 | 100 | 1640 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.81 | 13.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.168 | 0.133 | 68.934 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 122 | 122 | 108 | 1609 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.89 | 13.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.209 | 0.158 | 66.129 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 262 | 262 | 189 | 441 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.72 | 1.68 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.376 | 0.402 | 91.860 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F(-1) | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 227 | 227 | 153 | 1831 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.67 | 8.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.527 | 0.600 | 77.326 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 270 | 270 | 156 | 936 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.58 | 3.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.304 | 0.166 | 24.988 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 135 | 135 | 74 | 88 | 218 | 76 | 0 | 0 | 119 |
| N.S. |
1 | 1.00 | 0.55 | 0.65 | 1.61 | 0.56 | 0.00 | 0.00 | 0.88 |
| time (sec) |
N/A | 0.107 | 0.071 | 1.154 | 0.341 | 0.239 | 0.000 | 0.000 | 0.511 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 133 | 133 | 68 | 75 | 174 | 69 | 0 | 0 | 114 |
| N.S. |
1 | 1.00 | 0.51 | 0.56 | 1.31 | 0.52 | 0.00 | 0.00 | 0.86 |
| time (sec) |
N/A | 0.091 | 0.056 | 0.945 | 0.299 | 0.240 | 0.000 | 0.000 | 0.475 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | A | A | F | F | B |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 129 | 129 | 71 | 88 | 213 | 73 | 0 | 0 | 119 |
| N.S. |
1 | 1.00 | 0.55 | 0.68 | 1.65 | 0.57 | 0.00 | 0.00 | 0.92 |
| time (sec) |
N/A | 0.076 | 0.041 | 1.059 | 0.327 | 0.244 | 0.000 | 0.000 | 0.502 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | C | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 240 | 240 | 156 | 1787 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.65 | 7.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.310 | 0.165 | 84.450 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |